git.iko.soy
/
rowtype-yoga/purescript-native
readme
files
commits
refs
on
5b2d549
help
sign in
5b2d549
Update README.md
Phil Freeman
13 years ago
b979b00
Bound haskeline version to make heroku build pass
Phil Freeman
13 years ago
9131063
Bump version
Phil Freeman
13 years ago
bdad073
Forever example
Phil Freeman
13 years ago
0b98112
Do notation using type classes
Phil Freeman
13 years ago
c9ea112
Qualify all unqualified names in type class declarations
Phil Freeman
13 years ago
f3d1bb0
Add array example
Phil Freeman
13 years ago
cc947bd
Add the ability to bypass type checking for a term, and therefore fix the ordering problem.
Phil Freeman
13 years ago
0828e3d
Merge branch 'master' into typeclasses
Phil Freeman
13 years ago
abd9791
CodeGen fixes
Phil Freeman
13 years ago
bf0e439
Fix an issue with unqualified type class names
Phil Freeman
13 years ago
418f44a
Fix some aspects of code gen
Phil Freeman
13 years ago
043ad39
Generate typeclass dictionary names
Phil Freeman
13 years ago
3b6c4bd
Generate typeclass dictionary names
Phil Freeman
13 years ago
832c829
Add Monad example
Phil Freeman
13 years ago
c638ad6
Add failing example
Phil Freeman
13 years ago
65e7c8c
Show (Data a) example
Phil Freeman
13 years ago
b4d19dc
Basic implementation of the entails relation
Phil Freeman
13 years ago
0f8a6ba
Starting work on replacing type class dictionary placeholders
Phil Freeman
13 years ago
e8621c9
Pass modified values up to codegen phase
Phil Freeman
13 years ago
ff725e9
Generate type class dictionary placeholders
Phil Freeman
13 years ago
8c9d494
Fix up broken tests, fix the escape check and skolem escape check.
Phil Freeman
13 years ago
25e5c05
Some improvements to the REPL
Phil Freeman
13 years ago
ea3dba5
A little more work on the REPL
Phil Freeman
13 years ago
a3a9228
The beginnings of a basic REPL
Phil Freeman
13 years ago
dfaaa0f
Update README.md
Phil Freeman
13 years ago
247b6e0
Update README.md
Phil Freeman
13 years ago
0084109
Revert "Fix error in check - expand type synonyms first"
Phil Freeman
13 years ago
21e5b86
Fix error in check - expand type synonyms first
Phil Freeman
13 years ago
0fde5e0
Fully type the provided value in infer and check. Need to fix the escape check.
Phil Freeman
13 years ago
f0eb3e1
Fix kind checking, code gen for dictionaries
Phil Freeman
13 years ago
199d052
More work on desugaring
Phil Freeman
13 years ago
fb2e631
Fix some bugs in type class instance desugaring
Phil Freeman
13 years ago
265277e
First work on desugaring instance declarations
Phil Freeman
13 years ago
a7e6d2c
Generate Javascript for type class dictionary getters
Phil Freeman
13 years ago
f761337
Add contexts to instance declarations
Phil Freeman
13 years ago
a1c547a
Delete README.md
Phil Freeman
13 years ago
8d52e8d
Improved jQuery library and example
Phil Freeman
13 years ago
e0d0502
More work on desugaring type classes into dictionaries
Phil Freeman
13 years ago
0604bc1
Initial work on desugaring type classes into dictionaries
Phil Freeman
13 years ago
47eba26
Classes and instances parsers
Phil Freeman
13 years ago
76ee160
Bump version
Phil Freeman
13 years ago
521520d
Qualify all names appearing in types when adding names to the environment.
Phil Freeman
13 years ago
8fe74d1
Cabal file, README update
Phil Freeman
13 years ago
72f98f1
Add --run-main option
Phil Freeman
13 years ago
b2763ce
Fix some bugs with --magic-do, and make it work with TCO
Phil Freeman
13 years ago
fe44756
Update README.md
Phil Freeman
13 years ago
95026fc
--magic-do flag
Phil Freeman
13 years ago
439ce1a
Fix operator precedence issue
Phil Freeman
13 years ago
45b60f3
Fix type synonyms issue
Phil Freeman
13 years ago
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list