0
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Sep 23, 2022 — Sep 23, 2023
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
ignore directory .html/ More... over 6 years ago
README: The link to the paper of zot language. I add a link to archive. fixed #1 More... over 6 years ago
URL of document More... over 7 years ago
version to 0.0.3 More... over 7 years ago
ignore .stack-work More... over 7 years ago
into stack More... over 7 years ago
tribial: edit zot.cabal and README More... about 12 years ago
cabal to version 0.0.2 More... about 12 years ago
refactoring: Parse finished More... about 12 years ago
refactoring: Parse not yet finished More... about 12 years ago
refactoring: SkiToLambda finished More... about 12 years ago
refactoring SkiToLambda More... about 12 years ago
refactoring: add test for SkiToLambda More... about 12 years ago
refactoring: SkiToLambda not yet finished More... about 12 years ago
refactoring SkiToLambda not yet finished More... about 12 years ago
refactoring: SkiToLambda not yet finished More... about 12 years ago
refactoring: SkiToLambda not yet finished More... about 12 years ago
add to memo More... about 12 years ago
refactoring: SkiToLambda not yet finished More... about 12 years ago
refactoring: SkiToLambda not yet finished More... about 12 years ago
refactoring: LambdaToSki by hlint More... about 12 years ago
refactoring: SkiToLambda not yet finished More... about 12 years ago
refactoring: LambdaToSki finished More... about 12 years ago
refactoring: SkiToZot and zotToSki finished More... about 12 years ago
refactoring: Zot by hlint More... about 12 years ago
refactoring: zot.hs finished More... about 12 years ago
refactoring: Zot finished More... about 12 years ago
add to memo More... about 12 years ago
refactoring: Zot not yet finished More... about 12 years ago
refactoring: Zot not yet finished More... about 12 years ago