https://github.com/ilya-klyuchnikov/henk
Pure Type Systems for Functional Programming
https://github.com/ilya-klyuchnikov/henk
Last synced: 3 months ago
JSON representation
Pure Type Systems for Functional Programming
- Host: GitHub
- URL: https://github.com/ilya-klyuchnikov/henk
- Owner: ilya-klyuchnikov
- Created: 2013-09-18T08:53:08.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2020-11-21T14:17:43.000Z (almost 5 years ago)
- Last Synced: 2025-04-30T20:03:40.609Z (6 months ago)
- Language: Haskell
- Size: 542 KB
- Stars: 31
- Watchers: 1
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Pure Type Systems for Functional Programming
The code was taken from http://www.staff.science.uu.nl/~jeuri101/MSc/jwroorda/ and was updated for the current haskell-platform.
```
$ ghci Main.hs
*Main> main
__ __ ______ __ __ __ ______________________________________________
|| || ||_ || || || ||/ Henk 2000: Based on Pure Type Systems
||___|| ||- __ ||\ || ||\
||---|| ||__|| || \|| 2000 WWW: http://www.cs.uu.nl/~johanj/MSc/jwroorda
|| || Report bugs to: jw@cs.uu.nl
|| || ______________________________________________
Loading prelude.henk...
Type inferencing prelude.henk...
Numbers of errors: 0
Type checking prelude.henk...
Numbers of errors: 0
Enter name of programfile :
Parsing prog.henk...
Type inferencing...
Numbers of errors: 0
Type checking...
Numbers of errors: 0
Evaluating:
map E Bool apply exList
Result:
[False,True]
```