0
I Use This!
Inactive

Commits : Listings

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