Lean & Akai
Lean es un asistente de pruebas y un lenguaje de programación. Se basa en el cálculo de construcciones con tipos inductivos. Es un proyecto de código abierto alojado en GitHub. Fue realizado por Microsoft Research.
pop
rap-hip-hop
latin-music
Similar Artists
DJ Tony Pecino
DJ Tronky
Mr. Don
Dj Khalid
Vinny Rivera
Esme
Sebas Garreta
Dama
Prince Royce
Mickey Then
Montelier
J Salez
Manny Rod
Karlos Rosé
Daniel Santacruz
Pinto Picasso
Johnny Sky
Dani J
Grupo Extra
Chris Paradise
Mayinbito
SP Polanco
