author | wenzelm |
Mon, 02 Aug 2021 17:20:16 +0200 | |
changeset 74105 | d3d6e01a6b00 |
parent 73937 | fe8d0f4da0e6 |
child 74190 | 9a1796acd0a4 |
permissions | -rw-r--r-- |
69179 | 1 |
chapter Tools |
2 |
||
70853 | 3 |
session Tools = Pure + |
4 |
theories |
|
5 |
Code_Generator |
|
6 |
||
56276 | 7 |
session SML in SML = Pure + |
8 |
theories |
|
9 |
Examples |
|
69222
8365124a86ae
support for Isabelle tool development in Haskell;
wenzelm
parents:
69179
diff
changeset
|
10 |
|
74105 | 11 |
session Haskell in Haskell = HOL + |
69222
8365124a86ae
support for Isabelle tool development in Haskell;
wenzelm
parents:
69179
diff
changeset
|
12 |
theories |
8365124a86ae
support for Isabelle tool development in Haskell;
wenzelm
parents:
69179
diff
changeset
|
13 |
Haskell |
69444
c3c9440cbf9b
more formal Haskell project setup, with dependencies on packages from "stackage";
wenzelm
parents:
69241
diff
changeset
|
14 |
theories [condition = ISABELLE_GHC_STACK] |
69241 | 15 |
Test |