git.iko.soy
/
project-m36
readme
files
commits
refs
on
52182bc
help
sign in
history of
src/lib/ProjectM36/TypeConstructor.hs
all commits
14a9d9a
WIP definition of subrelation attributes
AgentM
8 years ago
08e09b6
replace AnyAtomType with real type variables remove useless TypeConstructorArg allow atom functions to have polymorphic types
AgentM
10 years ago
aed8762
WIP compilation checkpoint tutd switching to compiling project-m36 library as a dependency for executables switched to Atom ADT AtomFunctionBody somewhat working
AgentM
10 years ago
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