aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/database.md (unfollow)
Commit message (Expand)AuthorFilesLines
2020-05-17Local binding names for (co|indexed-)?monads are now explicitly set.Eduardo Julian1-0/+1
2019-11-18Minor adjustments.Eduardo Julian1-0/+6
2019-11-07WIP: Major refactoring of JVM bytecode machinery.Eduardo Julian1-0/+4
2019-09-17Fixed some bugs related to JVM types.Eduardo Julian1-3/+3
2019-09-07Got rid of a useless parameter to the INVOKE instructions.Eduardo Julian1-0/+1
2019-07-31Ported JVM reference generation to the new JVM bytecode machinery.Eduardo Julian1-3/+3
2019-06-20Removed the TCP & UDP code for the moment.Eduardo Julian1-0/+1
2019-06-18Implemented "hole" typing.Eduardo Julian1-0/+5
2019-06-01Removed the (magical) "alias" annotations tag.Eduardo Julian1-0/+1
2019-05-24Removed the (magical) "export?" annotations tag.Eduardo Julian1-0/+1
2019-05-19Moved my research notes from Trello to the repo:Eduardo Julian1-0/+1
2019-05-18Moved my research notes from Trello to the repo.Eduardo Julian1-0/+5
2019-05-17Forgot to actually compile the methods. Now doing so.Eduardo Julian1-3/+2
2019-05-16Some type casting/coercion automation.Eduardo Julian1-0/+1
2019-05-11Moved my research notes on databases from Trello to the repo.Eduardo Julian1-0/+441
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 15:19:19 +0000