this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Continue rapport

+33 -1
+33 -1
slides/main.typ
··· 1 1 #import "../rapport/utils.typ": dontbreak, todo 2 2 #import "../rapport/context.typ": argmax, cL, definitions_paths_set, exp 3 3 #import "../rapport/gz-unitree.typ": overlayed-img, zebraw 4 + #import "@preview/codly:1.3.0": * 5 + #show: codly-init.with() 6 + #codly(number-format: none, zebra-fill: none, stroke: none, lang-format: none) 4 7 #import "@preview/touying:0.6.1": * 5 8 #import themes.simple: * 6 - 7 9 #import "@preview/fletcher:0.5.8": edge, node 8 10 #import "@preview/fletcher:0.5.8" 9 11 #import "@preview/diagraph:0.3.6" ··· 666 668 Avec Nix 667 669 ] 668 670 671 + #centered(block(width: 16em, [ 672 + ```python 673 + from datetime import date 674 + 675 + def f(a): 676 + return date.today().year + a 677 + ``` 678 + ])) 679 + 680 + #pagebreak() 681 + 682 + #centered( 683 + block(width: 16em)[ 684 + #codly( 685 + highlights: ( 686 + (line: 4, start: 10, end: 15+6), 687 + ), 688 + // annotations: ( 689 + // (start: 4, content: [Impur]), 690 + // ) 691 + ) 692 + ```python 693 + from datetime import date 694 + 695 + def f(a): 696 + return date.today().year + a 697 + ``` 698 + ] 699 + ) 700 +