Luna Spirito

Unique TypeVariables

1

Ensures there aren't any conflicting type variables. Closes #64.

Type synonyms

2

Can/will type synonyms be added to FFG? And how they should be designed? I'm willing to implement them if they belong here, but I'm unsure how exactly. At my fork,...

Total type prettyprinting

2

Current `Pretty (Type s)` implementation contains possibly infinite path `... -> prettyQuantifiedType -> prettyFunctionType -> prettyApplicationType -> prettyPrimitiveType -> prettyQuantifiedType -> ...`. While the current implementation never runs into this...

exists (a : Type). a <: forall (a : Type). a

1

~~I was trying to introduce impredicative instantiation for my fork of FFG. I thought that it's easy to do, given η-law is sacrificed, if I just expand `

Add RussianRoulette drink

7

## About the PR Adds a new "Russian roulette" drink to the game. Comes with two new recipes: 1) 1u white russian + 1u black russian + 2u tricordrazine =...

When a model contains a collated text field, like this: ```py username = models.TextField(db_collation = "und-u-ks-level2", ...) ``` then attempting to compare on said field causes the exception, since Django...

Missing first token?

1

It appears as if the first token of the output is missing when using `chat_stream`? ... **Reproduction** ```rust let mistral_client = Arc::new(MistralClient::new(None, None, None, None).unwrap()); { let stream_result = mistral_client...