DmytroMitin/hott-cubicaltt-exercises DmytroMitin/hott-cubicaltt-exercises

  • Stars
    star
    1
  • Language
  • Created about 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DmytroMitin/hott-cubicaltt-exercises
github

DmytroMitin

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

AUXify

Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
Scala
28
star
2

dotty-patched

Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
Scala
20
star
3

arend-exercises

3
star
4

compiler-plugin-demo

Scala
1
star
5

test

Scala
1
star
6

scala-macro-macros

Macros expanding into macros
Scala
1
star
7

SO-Q75847326-macros-demo

https://stackoverflow.com/questions/75847326/macro-implementation-not-found-scala-2-13-3
Scala
1
star